Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
611	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
612	Q IWA Publishing 2008 Journal of Hydroinformatics \| 10.3 \| Honey-bee mating optimization (HBMO) algorithm in deriving optimal operation rules for reservoirs Add to Reading List Source URL: www.iwaponline.com Language: English - Date: 2008-06-09 06:54:42 Operations research Cybernetics Ant colony optimization algorithms Stochastic optimization Linear programming Genetic algorithm Algorithm Search algorithm Travelling salesman problem Mathematics Applied mathematics Mathematical optimization
613	Fall 2014 BBM 103: Introduction to Programming Laboratory I PROGRAMMING ASSIGNMENT 4 Subject : Recursions Due Date : Add to Reading List Source URL: web.cs.hacettepe.edu.tr Language: English - Date: 2014-11-27 08:51:11 Mathematical logic Theoretical computer science Verbal arithmetic Drive letter assignment Logic Games Mechanical puzzles Puzzles Sudoku algorithms Logic puzzles Mathematics Algorithm
614	Q IWA Publishing 2010 Journal of Hydroinformatics \| 12.3 \| Capacity optimization of hydropower storage projects using particle swarm optimization algorithm Add to Reading List Source URL: www.iwaponline.com Language: English - Date: 2010-03-17 13:01:36 Numerical analysis Evolutionary algorithms Cybernetics Genetic algorithm Global optimization Ant colony optimization algorithms Reliability engineering Linear programming Hydrology Mathematical optimization Operations research Applied mathematics
615	Application Kategorie IMPRESSIVE INTEGRATION Configurable and modular test stand control and Add to Reading List Source URL: www.bachmann.info Language: English - Date: 2014-10-16 04:35:05 Mechanical engineering Cross-platform software Mathematical modeling Numerical software Simulation software Simulink Rocket engine test facility Internal combustion engine Engine test stand Visual programming languages Technology Software
616	A SSIGNMENT 1 C OURSE : CPS530 Problem 1: A network problem is formulated for a directed graph G = (V, E) using the node-arc incidence matrix, as in the shortest-path problem discussed in the class. Show that a set of \| Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2012-09-20 15:07:08 Mathematical optimization Convex optimization Linear programming Linear algebra Duality Simplex algorithm Vector space Algebra Mathematics Operations research
617	Implementing Approximate Bayesian Inference using Integrated Nested Laplace Approximation: a manual for the inla program Sara Martino and H˚avard Rue Department of Mathematical Sciences NTNU, Norway January 2008 Add to Reading List Source URL: www.bias-project.org.uk Language: English - Date: 2008-09-28 15:14:45 C programming language International Obfuscated C Code Contest Expectation–maximization algorithm Computer programming Computing Statistics
618	Discrete Applied Mathematics–49 Annealed replication: a new heuristic for the maximum clique problem Immanuel M. Bomzea; ∗ , Marco Budinichb , Marcello Pelilloc , Claudio Rossic Add to Reading List Source URL: www.dais.unive.it Language: English - Date: 2002-12-03 08:21:13 NP-complete problems Functional languages Procedural programming languages Recursion Clique problem Mathematical optimization Clique Independent set Dynamical system Theoretical computer science Mathematics Applied mathematics
619	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
620	Royal Institute of Technology, KTH Department of High Performance Computing and Visualization B¨arbel Janssen, Numerical Linear Algebra Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2014-09-26 08:15:29 GNU Octave MATLAB Royal Institute of Technology Software Array programming languages Mathematical software

UPDATE